INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING Int. J. Numer. Meth. EngngPublished online in Wiley InterScience (www.interscience.wiley.com). DOI: nme.2746 Non-linear model reduction for uncer

Source URL: kiwi.mit.edu

Towards a Comprehensive Performance Model of Virtual Machine Live Migration Senthil Nathan, Umesh Bellur, Purushottam Kulkarni Department of Computer Science and Engineering, IIT Bombay Problem Statement

Source URL: acmsocc.github.io

• Live migration
• Xen
• Snew

ADVANCED DISPLAY ADVANCED DISPLAY OLED Driver IC

Source URL: www.solomon-systech.com.cn

• Electronics
• Display technology
• Electronic engineering
• Light-emitting diodes
• Electromagnetism
• Emerging technologies
• Energy-saving lighting
• OLED
• LED display
• IC
• Display driver
• RGB color model

Mobile Netw Appl DOIs11036Linear Representation of Network Traffic With Special Application to Wireless Workload Generation Stefan Karpinski · Elizabeth M. Belding ·

Source URL: karpinski.org

• Computing
• Teletraffic
• Streaming
• Network management
• Network performance
• Computer networking
• Network architecture
• Telecommunications engineering
• Traffic flow
• Quality of service
• Traffic generation model
• Matrix

Statistical Model Criticism using Kernel Two Sample Tests James Robert Lloyd Department of Engineering University of Cambridge

Source URL: jamesrobertlloyd.com

C OV ER F E AT U RE Open Source Software: Lessons from and for

Source URL: www.brian-fitzgerald.com

• Free software
• Software licenses
• Computing
• Engineering
• Technology
• Open-source software
• Free and open-source software
• Software development
• Software engineering
• Agile software development
• Open-source model
• Halloween documents

THE COMPLEXITY OF SATISFACTION PROBLEMS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Satisfiability problems play a central role in computer science and engineering as a general framework for studying the complexity of

Source URL: ludovicpatey.com

• Automated theorem proving
• Logic programming
• Logic in computer science
• Boolean algebra
• Model theory
• Substitution
• Boolean satisfiability problem
• Interpretation
• Relationships among probability distributions
• Lifting theory

Accessory or Track DCC Booster Manual This DCC Booster was designed to solve two issues that putting a lot of DCC accessory decoders on your layout brings up. 1) They are a drain on your precious loco amps and 2) When a

Source URL: tamvalleydepot.com

• Power supply
• Electromagnetism
• AC power plugs and sockets
• Electrical connector
• Electricity
• Electrical engineering
• Digital model railway control systems
• Repurposing
• Digital Command Control

FeatureIDE: A Tool Framework for Feature-Oriented Software Development Christian K¨astner, Thomas Th¨um, Gunter Saake School of Computer Science University of Magdeburg, Germany {kaestner,thuem,saake}@iti.cs.uni-magdeb

Source URL: www.infosun.fim.uni-passau.de

• Software
• Computing
• Feature-oriented programming
• Aspect-oriented software development
• Systems engineering
• Software design
• Software development process
• Feature model
• Software development
• Software product line
• Domain-specific language
• Domain engineering

Implementing Feature Variability for Models and Code with Projectional Language Workbenches Markus Voelter Independent/itemis Oetztaler Strasse 38, 70327 Stuttgart, Germany

Source URL: www.voelter.de

• Software engineering
• Software
• Computing
• Language workbench
• Domain-specific language
• Programming paradigms
• JetBrains MPS
• Structure editor
• Feature model
• Aspect-oriented software development
• Metaprogramming
• Software development